photo Ingénieur / Ingénieure big data

Ingénieur / Ingénieure big data

Emploi Cabinets d'interim - Cabinets de recrutement - Conseil RH

Ulis, 91, Essonne, Île-de-France

Notre client offre depuis plus de 40 ans des solutions de développement pour l'industrie automobile et aéronautique en Europe, en Chine et aux Etats-Unis. Chaque jour, plus de 13 000 collaborateurs de ses 55 sites sont les garants d'un solide savoir-faire, de solutions projets viables et d'une orientation client marquée. Le Groupe accompagne les constructeurs et équipementiers dans leurs projets de développement, du design à l'industrialisation dans le domaine du secteur automobile. Vos missions et votre environnement: 1. Périmètre technique La mission s'inscrit dans le cadre du développement de la plateforme de données pour l'ingénierie d'ALPINE CARS permettant la collection et le traitement des données provenant des véhicules prototypes, des moyens d'essais et de système informatique du datalake RENAULT. 2. Objet de la mission La mission consiste à développer et déployer dans le cloud GCP, de manière automatisée, les services et infrastructures permettant le développement et les opérations de la plateforme de données ALPINE CARS. 3. Livrables attendus Les livrables attendus du prestataire sont Plateforme d'observabilité des services et de l'infrastructure Provision[...]

photo Ingénieur / Ingénieure de recherche scientifique

Ingénieur / Ingénieure de recherche scientifique

Emploi Enseignement - Formation

-, 91, Essonne, Île-de-France

Dans le cadre d'un effort conjoint avec le groupe automates de l'Epita, nous développons l'outil ltlsynt, qui permet de synthétiser des contrôleurs à partir de spécifications LTL. De nombreux points peuvent être améliorés dans ce pipeline : la résolution de jeux, un meilleur support et une meilleure détection des fragments de LTL, la construction et la minimisation des machines de Mealy. La partie sur laquelle nous nous concentrerons dépendra également des préférences du candidat retenu. Étant donné que l'objectif final est de disposer d'un outil puissant, l'optimisation de l'implémentation et les tests de performance constituent une part importante de cette tâche. SyntComp est la compétition annuelle de synthèse, comparant différents outils sur une grande variété de benchmarks issus du monde académique et industriel. Nous avons récemment migré du cluster StarExec vers un cluster hébergé par le CEA (tgcc irene). Le travail sur SyntComp comporte plusieurs sous-tâches : - Mettre à jour les benchmarks et ajouter de nouveaux benchmarks issus de la littérature, ainsi que concevoir de nouvelles familles de benchmarks. - Rationaliser les scripts d'exécution pour les rendre[...]